『Calculating Functional Programs』
PDF
Jeremy Gibbons
圏論も出てくるらしい
読みたいけど、読める気がしないな..
mrsekut.icon